<html>
<head><meta charset="utf-8"><title>formal verification interest group · wg-formal-methods · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/index.html">wg-formal-methods</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html">formal verification interest group</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="243190710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243190710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243190710">(Jun 18 2021 at 17:46)</a>:</h4>
<p>There is definite interest in getting a FVIG up-and-going.</p>



<a name="243190778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243190778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243190778">(Jun 18 2021 at 17:46)</a>:</h4>
<p>I think this could work out really well, but I would think it needs someone to manage the agenda to make it work well</p>



<a name="243190823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243190823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243190823">(Jun 18 2021 at 17:46)</a>:</h4>
<p>My take would be: monthly meeting with a general agenda and some time for open discussion; a mix of interesting updates, questions about semantics and things, and perhaps some shared infra or projects.</p>



<a name="243190889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243190889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243190889">(Jun 18 2021 at 17:47)</a>:</h4>
<p>(This is a bit broader than the 'office hours' format I discussed before, but I think it'd work well)</p>



<a name="243190953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243190953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243190953">(Jun 18 2021 at 17:48)</a>:</h4>
<p>I imagine interesting updates would generally have the form of "we're having this problem -- does anyone else hve thoughts on how to solve it"</p>



<a name="243191994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243191994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alastair Reid <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243191994">(Jun 18 2021 at 18:00)</a>:</h4>
<p>Yes, a monthly meeting, with an agenda and updates seems like a good idea.<br>
A bit of video meeting is good - but zoopla-based discussion is also really important because more than one person can talk at once so it ends up being higher bandwidth.</p>



<a name="243199307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243199307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243199307">(Jun 18 2021 at 19:22)</a>:</h4>
<p>This sounds right</p>



<a name="243199315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243199315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243199315">(Jun 18 2021 at 19:22)</a>:</h4>
<p>Then the question is who wants to take the lead on organizing it :)</p>



<a name="243211845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243211845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243211845">(Jun 18 2021 at 21:55)</a>:</h4>
<p>I'm happy to volunteer, though I'd love to have a co-organizer to help show me the ropes :)</p>



<a name="243242037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243242037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Bas Spitters <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243242037">(Jun 19 2021 at 10:12)</a>:</h4>
<p>Great <span class="user-mention" data-user-id="312719">@Xavier Denis</span> . I'd be happy to help, at least to set up the next call. We can then see from there.</p>



<a name="243379977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/243379977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#243379977">(Jun 21 2021 at 13:17)</a>:</h4>
<p>great! I'll start working on this during the week and message you!</p>



<a name="245063426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/245063426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Andrea Lattuada <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#245063426">(Jul 06 2021 at 16:22)</a>:</h4>
<p>hi folks! are there any updates on this? I'm not trying to rush folks, just making sure that I didn't miss some other announcement channel.</p>



<a name="245426771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/245426771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#245426771">(Jul 09 2021 at 10:37)</a>:</h4>
<p>no! but i'm posting something todday</p>



<a name="245426822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/formal%20verification%20interest%20group/near/245426822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/formal.20verification.20interest.20group.html#245426822">(Jul 09 2021 at 10:38)</a>:</h4>
<p>just need to finish popl! also #t-infra will be providing us with a wg repo :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>